Quantified Constraints Under Perturbation
نویسنده
چکیده
Quantified constraints (i.e., first-order formulae over the real numbers) are often exposed to perturbations: Constants that come from measurements usually are only known up to certain precision, and numerical methods only compute with approximations of real numbers. In this paper we study the behavior of quantified constraints under perturbation by showing that one can formulate the problem of solving quantified constraints as a nested parametric optimization problem followed by one sign computation. Using the fact that minima and maxima are stable under perturbation, but the sign of a real number is stable only for non-zero inputs, we derive practically useful conditions for the stability of quantified constraints under perturbation.
منابع مشابه
Invariance of Fréchet frames under perturbation
Motivating the perturbations of frames in Hilbert and Banach spaces, in this paper we introduce the invariance of Fr'echet frames under perturbation. Also we show that for any Fr'echet spaces, there is a Fr'echet frame and any element in these spaces has a series expansion.
متن کاملDensity estimation on small datasets
How might a smooth probability distribution be estimated, with accurately quantified uncertainty, from a limited amount of sampled data? Here we describe a field-theoretic approach that addresses this problem remarkably well in one dimension, providing an exact nonparametric Bayesian posterior without relying on tunable parameters or large-data approximations. Strong non-Gaussian constraints, w...
متن کاملAdaptive Optimization with Constraints: Convergence and Oscillatory Behaviour
The problem of adaptive minimization of globally unknown functionals under constraints on the independent variable is considered in a stochastic framework. The CAM algorithm for vector problems is proposed. By resorting to the ODE analysis for analysing stochastic algorithms and singular perturbation methods, it is shown that the only possible convergence points are the constrained local minima...
متن کاملNonlinear Viscosity Algorithm with Perturbation for Nonexpansive Multi-Valued Mappings
In this paper, based on viscosity technique with perturbation, we introduce a new non-linear viscosity algorithm for finding a element of the set of fixed points of nonexpansivemulti-valued mappings in a Hilbert space. We derive a strong convergence theorem for thisnew algorithm under appropriate assumptions. Moreover, in support of our results, somenumerical examples (u...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Comput.
دوره 33 شماره
صفحات -
تاریخ انتشار 2002